Philosophy Dictionary of ArgumentsHome | |||
| |||
Paradox of implication: A statement is true according to the standard definition of implication, when the antecedent of the implication is false. In any case then the consequent of the implication is (trivially) true. See also Ex falso quodlibet/EFQ, Implication, Paradoxes._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
Author | Concept | Summary/Quotes | Sources |
---|---|---|---|
H. Wessel on Implication Paradox - Dictionary of Arguments
I 129 C.I.Lewis VsParadoxes of the implication: "strict implication": modal: instead of "from contradiction any statement": "from impossible ..." >Implication, strict, >Modalities, >Modal logic. WesselVsLewis, C.I.: circular: modal terms only from logical entailment relationship - 2.Vs: strict Implication cannot occur in provable formulas of propositional calculus as an operator. >Consequence, >Operators. I 140ff Paradoxes of implication: strategy: avoid contradiction as antecedent and tautology as consequent. >Tautologies, >Antecedent, >Consequent. I 215 Paradoxes of implication/quantifier logic: Additional paradoxes: for individual variables x and y may no longer be used as any singular terms - otherwise from "all Earth's moons move around the earth" follows "Russell moves around the earth". Solution: Limiting the range: all individuals of the same area, for each subject must be clear: P (x) v ~ P (x) - that is, each predicate can be meant as a propositional function - Wessel: but that is all illogical. >Logic, >Domain._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Wessel I H. Wessel Logik Berlin 1999 |